منابع مشابه
The Peirce translation
We develop applications of selection functions to proof theory and computational extraction of witnesses from proofs in classical analysis. The main novelty is a translation of minimal logic plus Peirce’s law into minimal logic, which we refer to as the Peirce translation, as it eliminates uses of Peirce’s law. When combined with modified realizability this translation applies to full classical...
متن کاملThe Logic of Peirce Algebras
Peirce algebras combine sets, relations and various operations linking the two in a unifying setting. This paper offers a modal perspective on Peirce algebras. Using modal logic a characterization of the full Peirce algebras is given, as well as a finite axiomatization of their equational theory that uses so-called unorthodox derivation rules. In addition, the expressive power of Peirce algebra...
متن کاملPeirce and the Autonomy of Abductive Reasoning
Essential to Peirce's distinction among three kinds of reasoning, deduction, induction and abduction, is the claim that each is correlated to a unique species of validity irreducible to that of the others. In particular, abductive validity cannot be analyzed in either deductive or inductive terms, a consequence of considerable importance for the logical and epistemological scrutiny of scientifi...
متن کاملJPEG2000: The upcoming still image compression standard
With the increasing use of multimedia technologies, image compression requires higher performance as well as new features. To address this need in the speci®c area of still image encoding, a new standard is currently being developed, the JPEG2000. It is not only intended to provide rate-distortion and subjective image quality performance superior to existing standards, but also to provide funct...
متن کاملPeirce and Frege on Logic
Though Peirce and Frege played crucial roles in the development of modern logic, there has been so far little scholarly work comparing their positions on the nature of logic. I offer here a comparative study of their views on logic and I show that, although they developed their views independently from each other and with very different projects in mind, their positions are extremely similar (e...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Ocula
سال: 2014
ISSN: 1724-7810
DOI: 10.12977/ocula38